On the Power of Incremental Evaluation in SQL-Like Languages

نویسندگان

  • Leonid Libkin
  • Limsoon Wong
چکیده

We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) and that there are PSPACE-complete queries in IES(SQL). We further show that every PSPACE query is in IES(SQL) augmented with a deterministic transitive closure operator. Lastly, we consider ordered databases and provide a complete analysis of a hierarchy on IES(SQL) deened with respect to arity-bounded auxiliary relations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Distributed and Cooperative Compressive Sensing Recovery Algorithm for Wireless Sensor Networks with Bi-directional Incremental Topology

Recently, the problem of compressive sensing (CS) has attracted lots of attention in the area of signal processing. So, much of the research in this field is being carried out in this issue. One of the applications where CS could be used is wireless sensor networks (WSNs). The structure of WSNs consists of many low power wireless sensors. This requires that any improved algorithm for this appli...

متن کامل

Properties of Languages That Make Recursive Views Unmaintainable

We study the problem of maintaining recursively-deened views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanisms. The main results of this paper show that in most cases such incremental maintenance is impossible if either no auxiliary relations are used or they are limited to be deterministic. Instead of concentrating on provi...

متن کامل

Database Integrity Checking

Integrity constraints (or simply “constraints”) are formal representations of invariant conditions for the semantic correctness of database records. Constraints can be expressed in declarative languages such as datalog, predicate logic, or SQL. This article highlights the historical background of integrity constraints and the essential features of their simplified incremental evaluation. It con...

متن کامل

From Isolation to Empowerment

Background: This study provides a brief review on the history of deaf community and the sign languages in order to describe the position of deaf people around the world in general and in Iranian particular. The research and evaluation of deaf individual from different aspects can result in a better knowledge of sign languages and their significance. Historically, deaf people have been examined ...

متن کامل

In silico Screening and Evaluation of the Anticonvulsant Activity of Docosahexaenoic Acid-Like Molecules in Experimental Models of Seizures

Background: Resistance to antiepileptic drugs as well as intolerability in 20-30% of the patients raises demand for developing new drugs with improved efficacy and safety. Acceptable anticonvulsant activity, good tolerability, and inexpensiveness of docosahexaenoic acid (DHA), make it as a good candidate for designing and development of the new anticonvulsant medications. Methods: Ten DHA-based...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999